Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·7h·
Discuss: Hacker News
🧮Programming Language Theory
Fuzz and Invariant Testing: A Security Researcher's Guide to Uncovering Hidden Vulnerabilities
dev.to·57m·
Discuss: DEV
🧭SMT Solvers
Stop Abstracting and Start Programming
dev.to·2h·
Discuss: DEV
⚙Functional Programming
Issue 489
haskellweekly.news·6h·
Discuss: Hacker News
⚙Functional Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·15h·
Discuss: Hacker News
🧮Programming Language Theory
Chapter 4: System Prompt Advanced
cline.ghost.io·52m
🔧Compiler Design
Observe live SQL queries in Go with DTrace
gaultier.github.io·8h·
Discuss: r/golang
⚙Functional Programming
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
✅Formal Verification
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·3h
⚙Functional Programming
The Rise of Async Programming
braintrust.dev·5h·
Discuss: Hacker News
🔧Compiler Design
Allocations Are a Dependency
clipperhouse.com·23h·
Discuss: Hacker News
🧠Memory Management
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·10h·
Discuss: Hacker News
🔗Parser Combinators
Trial and Error Driven Development
stevenoxley.com·21h·
Discuss: Hacker News
🧩Theorem Proving
How to Analyze and Optimize Your LLMs in 3 Steps
towardsdatascience.com·3h
🔧Compiler Design
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·1h·
Discuss: r/programming
🧩Theorem Proving
My poorly optimized Rust code was slower than JavaScript. My optimized version is 99.9% faster
reddit.com·8h·
Discuss: r/rust
🦀Rust
Python and C++ with pybind11: A Great Combination
danvk.org·2h
🔧Compiler Design
August 2025 Detection Highlights: 9 New VTIs, 20+ YARA Rules, and More Advanced Malware Insights
vmray.com·7h
🎲Probabilistic Programming
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·11h·
Discuss: Lobsters, Hacker News, r/programming
🏗Computer Architecture